Computer Science Electives

ModuleLV TypeCPLVDatesExamination
Advanced Internet TechnologyFach-/Modulprüfung6363821
Vorlesung355166Do 10:30-12:00 AH I (2350|028) (×9)
Fr 10:30-12:00 AH I (2350|028) (×13)
Übung355798Mi 10:30-12:00 AH I (2350|028) (×7)
Communication Systems EngineeringFach-/Modulprüfung6363754
Vorlesung/Übung355280
Eingebettete SystemeFach-/Modulprüfung6367042
ErfüllbarkeitsüberprüfungFach-/Modulprüfung6370393
Vorlesung/Übung361389Mo 08:30-10:00 AH III (2350|314.1) (×15)
Di 08:30-10:00 AH III (2350|314.1) (×15)
High-Performance ComputingFach-/Modulprüfung6363841
Vorlesung/Übung368755Di 12:30-14:00 AH II (2350|111) (×13)
Mi 12:00-14:00 AH IV (2354|030) (×1)
Fr 10:30-12:00 AH VI (2356|051) (×14)
Übung355769
Vorlesung357939
Infinite Computations and GamesFach-/Modulprüfung6364443
Vorlesung357136Mo 10:30-12:00 5056 (2356|056) (×13)
Di 10:30-12:00 AH II (2350|111) (×12)
Übung356795Fr 14:30-16:00 AH II (2350|111) (×12)
iOS Application DevelopmentFach-/Modulprüfung6365474
Vorlesung357568Mo 12:30-14:00 Seminarraum Informatik 10 (2350|222) (×14)
Di 10:30-12:00 Seminarraum Informatik 10 (2350|222) (×14)
Fach-/Modulprüfung366782
Model CheckingFach-/Modulprüfung6371854
Vorlesung370403Do 10:30-12:00 AH II (2350|111) (×13)
Fr 14:30-16:00 AH III (2350|314.1) (×8)
Übung370402Fr 10:30-12:00 5056 (2356|056) (×10)
Privacy Enhancing Technologies for Data ScienceFach-/Modulprüfung4365462
Fach-/Modulprüfung4365547
Vorlesung/Übung358735Di 16:30-18:00 Großer B-IT Raum (2356|053.2) (×12)
Do 16:30-18:00 Großer B-IT Raum (2356|053.2) (×12)
Probabilistic ProgrammingFach-/Modulprüfung4364332
Vorlesung355369
Übung355042
Statische ProgrammanalyseVorlesung389639
Übung389638
Stochastic GamesFach-/Modulprüfung6363478